4319 search results for "author:" ""
Showing 4301 - 4319
-
Binding to ZBar (QR-code scanning library)0.9Used by 0 other packages21 Nov 2013
-
Abstract engine for text edition in OCaml3.2.3BSD-3-ClauseUsed by 6 other packages22 Aug 2023
-
0.1.0BSD-2-ClauseUsed by 1 other packages19 Sep 2018
-
A synchronous language with ODEs2.2INRIA Non-Commercial License AgreementUsed by 1 other packages21 Jun 2021
-
Zelus GTK library2.2INRIA Non-Commercial License AgreementUsed by 0 other packages21 Jun 2021
-
An Extensible Automated Theorem Prover Producing Checkable Proofs0.8.5Used by 0 other packages23 Oct 2020
-
0.5.0BSD-3-ClauseUsed by 0 other packages26 Jan 2024
-
zero
No documentation
Deprecated, merged into core_kernel109.28.00Apache-2.0Used by 0 other packages21 Nov 2013 -
0.2.0ISCUsed by 0 other packages24 Jan 2024
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021
-
Support tools for Zipperposition2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021
-
Bindings to the zlib compression library0.6ISCUsed by 1 other packages13 Apr 2019
-
Lazy lists for OCaml0.5.0Apache-2.0Used by 0 other packages04 Apr 2021
-
OCaml bindings for ZeroMQ 4.x5.3.0MITUsed by 10 other packages08 Apr 2024
-
Async-aware bindings to ZMQ5.3.0MITUsed by 0 other packages08 Apr 2024
-
Eio aware bindings to ZMQ5.3.0MITUsed by 0 other packages08 Apr 2024
-
Lwt-aware bindings to ZMQ5.3.0MITUsed by 2 other packages08 Apr 2024
-
OCaml bindings to Zstandardv0.16.0MITUsed by 1 other packages14 Jun 2023
-
Bindings for the zxcvbn password strength estimation library2.4+1BSD-2-ClauseUsed by 0 other packages02 Sep 2020